Routley-Meyer frame
Routley-Meyer frame とは三項關係との以下を滿たす組$ (W_{\ne\varnothing},R_{\subseteq W\times W\times W},^*~_{:W\to W},0_{\in W})を言ふ
$ x\le y:=0xRyと書くと
組$ (W,\leq)は前順序である
反射律$ x\le x
推移律$ x\le y\land y\le z\to x\le z
遺傳性$ w\le x\land xyRz\to wyRz
$ x^{**}=x.
$ x\le y\to y^*\le x^*.
略記
$ wxyRz:=\exist a(wxRa\land ayRz).
$ w(xy)Rz:=\exist a(xyRa\land waRz).
關聯論理の意味論に使はれる